Performance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata
نویسندگان
چکیده
Abstract: In this contribution, we study the performances of discrete event systems modeled by (max,+) automata. More precisely, new representations for (max,+) automata are first proposed. From these, several performance indicators can be derived, in particular the maximum time execution and a minorant of the minimum execution time for a sequence of length n. Finally these results are discussed in comparison with several studies of the literature also dealing with performance evaluation of (max,+) automata.
منابع مشابه
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems
Titre New representations for (max,+)-automata with applications to the performance evaluation of discrete event systems Type de publication Communication Type Communication avec actes dans un congrès Année 2012 Langue Anglais Date du colloque 2012 Titre du colloque WODES 2012 Titre des actes ou de la revue Proceedings of the 11th edition of Workshop On Discrete Event System Auteur Boukra, Raba...
متن کاملNew representations for (max, +) automata with applications to performance evaluation and control of discrete event systems
Titre New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems Type de publication Article de revue Auteur Boukra, Rabah [1], Lahaye, Sébastien [2], Boimond, Jean-Louis [3] Editeur Springer Verlag Type Article scientifique dans une revue à comité de lecture Année 2015 Langue Anglais Date June 2015 Pagination 295-322 Volume 25 Tit...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملPerformance Evaluation of (max,+) Automata
Automata with multiplicities over the (max,+) semiring can be used to represent the behavior of timed discrete event systems. This formalism which extends both conventional automata and (max,+) linear representations covers a class of systems with synchronization phenomena and variable schedules. Performance evaluation is considered in the worst, mean, and optimal cases. A simple algebraic redu...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012